partial application
部分適用
η-conversion
POP-2
Restriction
(mathematics), the more general phenomenon of restricting a function to a subset of its domain
/suto3/google.icon
partial application
image
partial application
define
partial application
wikipedia
partial application
weblio
partial application
kotobank
partial application
jisho
partial application